Kevin Elphinstone: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Comprehensive formal verification of an OS microkernel

Klein, Gerwin, Andronick, June, Elphinstone, Kevin, Murray, Toby, Sewell, Thomas, Kolanski, Rafal, Heiser, Gernot

Journal:

ACM Transactions on Computer Systems

Year:

2014

Language:

english

File:

PDF, 9.24 MB

english, 2014

2

L4 Microkernels

Heiser, Gernot, Elphinstone, Kevin

Journal:

ACM Transactions on Computer Systems

Year:

2016

Language:

english

File:

PDF, 527 KB

english, 2016

3

[ACM Press the Twenty-Fourth ACM Symposium - Farminton, Pennsylvania (2013.11.03-2013.11.06)] Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles - SOSP '13 - From L3 to seL4 what have we learnt in 20 years of L4 microkernels?

Elphinstone, Kevin, Heiser, Gernot

Year:

2013

Language:

english

File:

PDF, 362 KB

english, 2013

4

[ACM Press the 8th Asia-Pacific Workshop - Mumbai, India (2017.09.02-2017.09.02)] Proceedings of the 8th Asia-Pacific Workshop on Systems - APSys '17 - A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4

Elphinstone, Kevin, Zarrabi, Amirreza, Mcleod, Kent, Heiser, Gernot

Year:

2017

Language:

english

File:

PDF, 252 KB

english, 2017

5

Towards trustworthy computing systems

Heiser, Gernot, Elphinstone, Kevin, Kuz, Ihor, Klein, Gerwin, Petters, Stefan M.

Journal:

ACM SIGOPS Operating Systems Review

Year:

2007

Language:

english

File:

PDF, 214 KB

english, 2007

6

seL4

Klein, Gerwin, Norrish, Michael, Sewell, Thomas, Tuch, Harvey, Winwood, Simon, Andronick, June, Elphinstone, Kevin, Heiser, Gernot, Cock, David, Derrin, Philip, Elkaduwe, Dhammika, Engelhardt, Kai, Ko

Journal:

Communications of the ACM

Year:

2010

Language:

english

File:

PDF, 1.05 MB

english, 2010

7

Dysregulation of the haem-haemopexin axis is associated with severe malaria in a case–control study of Ugandan children

Elphinstone, Robyn E., Riley, Frank, Lin, Tian, Higgins, Sarah, Dhabangi, Aggrey, Musoke, Charles, Cserti-Gazdewich, Christine, Regan, Raymond F., Warren, H. Shaw, Kain, Kevin C.

Journal:

Malaria Journal

Year:

2015

Language:

english

File:

PDF, 1.10 MB

english, 2015

8

[IEEE 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Portland, OR, USA (2019.6.24-2019.6.27)] 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Fault Tolerance Through Redundant Execution on COTS Multicores: Exploring Trade-Offs

Shen, Yanyan, Heiser, Gernot, Elphinstone, Kevin

Year:

2019

Language:

english

File:

PDF, 825 KB

english, 2019

9

[ACM Press the ACM SIGOPS 22nd symposium - Big Sky, Montana, USA (2009.10.11-2009.10.14)] Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles - SOSP '09 - seL4

Klein, Gerwin, Norrish, Michael, Sewell, Thomas, Tuch, Harvey, Winwood, Simon, Elphinstone, Kevin, Heiser, Gernot, Andronick, June, Cock, David, Derrin, Philip, Elkaduwe, Dhammika, Engelhardt, Kai, Ko

Year:

2009

Language:

english

File:

PDF, 954 KB

english, 2009

10

Guarded page tables on Mips R4600 or an exercise in architecture-dependent micro optimization

Liedtke, Jochen, Elphinstone, Kevin

Journal:

ACM SIGOPS Operating Systems Review

Year:

1996

Language:

english

File:

PDF, 793 KB

english, 1996

11

Alterations in systemic extracellular heme and hemopexin are associated with adverse clinical outcomes in Ugandan children with severe malaria

Elphinstone, Robyn E., Conroy, Andrea L., Hawkes, Michael, Hermann, Laura, Namasopo, Sophie, Warren, H. Shaw, John, Chandy C., Liles, W. Conrad, Kain, Kevin C.

Journal:

The Journal of Infectious Diseases

Year:

2016

Language:

english

File:

PDF, 907 KB

english, 2016

12

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Experience report

Klein, Gerwin, Derrin, Philip, Elphinstone, Kevin

Year:

2009

Language:

english

File:

PDF, 422 KB

english, 2009

13

[IEEE 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Budapest, Hungary (2013.06.24-2013.06.27)] 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Increasing the trustworthiness of commodity hardware through software

Elphinstone, Kevin, Shen, Yanyan

Year:

2013

Language:

english

File:

PDF, 169 KB

english, 2013

14

Chitinase-3-like 1 is a biomarker of acute kidney injury and mortality in paediatric severe malaria

Conroy, Andrea L., Hawkes, Michael T., Elphinstone, Robyn, Opoka, Robert O., Namasopo, Sophie, Miller, Christopher, John, Chandy C., Kain, Kevin C.

Journal:

Malaria Journal

Year:

2018

Language:

english

File:

PDF, 1.12 MB

english, 2018

15

The impact of placental malaria on neurodevelopment of exposed infants: a role for the complement system?

McDonald, Chloe R., Elphinstone, Robyn E., Kain, Kevin C.

Journal:

Trends in Parasitology

Year:

2013

Language:

english

File:

PDF, 1.10 MB

english, 2013

16

[ACM Press the 6th Asia-Pacific Workshop - Tokyo, Japan (2015.07.27-2015.07.28)] Proceedings of the 6th Asia-Pacific Workshop on Systems - APSys '15 - For a Microkernel, a Big Lock Is Fine

Peters, Sean, Danis, Adrian, Elphinstone, Kevin, Heiser, Gernot

Year:

2015

Language:

english

File:

PDF, 187 KB

english, 2015

17

User-Level Device Drivers: Achieved Performance

Ben Leslie, Peter Chubb, Nicholas Fitzroy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yue-Ting Shen, Kevin Elphinstone, Gernot Heiser

Journal:

Journal of Computer Science and Technology

Year:

2005

File:

PDF, 1.14 MB

2005

18

[ACM Press the 9th workshop - Kolding, Denmark (2000.09.17-2000.09.20)] Proceedings of the 9th workshop on ACM SIGOPS European workshop beyond the PC: new challenges for the operating system - EW 9 - Synchronous IPC over transparent monitors

Jaeger, Trent, Tidswell, Jonathon E., Gefflaut, Alain, Park, Yoonho, Elphinstone, Kevin J., Liedtke, Jochen

Year:

2000

Language:

english

File:

PDF, 198 KB

english, 2000

19

Contrasting pediatric and adult cerebral malaria

Hawkes, Michael, Elphinstone, Robyn E, Conroy, Andrea L, Kain, Kevin C

Journal:

Year:

2013

Language:

english

File:

PDF, 656 KB

english, 2013

20

[ACM Press the 2006 ACM SIGPLAN workshop - Portland, Oregon, USA (2006.09.17-2006.09.17)] Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06 - Running the manual

Derrin, Philip, Elphinstone, Kevin, Klein, Gerwin, Cock, David, Chakravarty, Manuel M. T.

Year:

2006

Language:

english

File:

PDF, 189 KB

english, 2006

21

Brain-derived Neurotrophic Factor Is Associated With Disease Severity and Clinical Outcome in Ugandan Children Admitted to Hospital With Severe Malaria

McDonald, Chloe R., Conroy, Andrea L., Hawkes, Michael, Elphinstone, Robyn E., Gamble, Joel L., Hayford, Kyla, Namasopo, Sophie, Opoka, Robert O., Liles, W. Conrad, Kain, Kevin C.

Journal:

Pediatric Infectious Disease Journal

Year:

2017

Language:

english

File:

PDF, 410 KB

english, 2017

22

[ACM Press the 8th ACM European Conference - Prague, Czech Republic (2013.04.15-2013.04.17)] Proceedings of the 8th ACM European Conference on Computer Systems - EuroSys '13 - Application level ballooning for efficient server consolidation

Salomie, Tudor-Ioan, Alonso, Gustavo, Roscoe, Timothy, Elphinstone, Kevin

Year:

2013

Language:

english

File:

PDF, 912 KB

english, 2013

23

The mungi single-address-space operating system

Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, Jochen Liedtke

Journal:

Software: Practice and Experience

Year:

1998

Language:

english

File:

PDF, 172 KB

english, 1998

24

Acute kidney injury is common in pediatric severe malaria and is associated with increased risk of acute and long-term mortality: a prospective cohort study

Conroy, Andrea L., Hawkes, Michael, Elphinstone, Robyn E., Morgan, Catherine, Hermann, Laura, Barker, Kevin R., Namasopo, Sophie, Opoka, Robert O., John, Chandy C., Liles, W. Conrad, Kain, Kevin C.

Journal:

Open Forum Infectious Diseases

Year:

2016

Language:

english

File:

PDF, 1.40 MB

english, 2016

25

Anemia and transfusion requirements among Ugandan children with severe malaria treated with intravenous artesunate

Hawkes, Michael T., Opoka, Robert O., Conroy, Andrea L., Elphinstone, Robyn E., Hume, Heather A., Namasopo, Sophie, Kain, Kevin C.

Journal:

Pediatric Hematology-Oncology

Year:

2019

File:

PDF, 1.38 MB

2019

26

[ACM Press the 9th workshop - Kolding, Denmark (2000.09.17-2000.09.20)] Proceedings of the 9th workshop on ACM SIGOPS European workshop beyond the PC: new challenges for the operating system - EW 9 - The SawMill multiserver approach

Gefflaut, Alain, Jaeger, Trent, Park, Yoonho, Liedtke, Jochen, Elphinstone, Kevin J., Uhlig, Volkmar, Tidswell, Jonathon E., Deller, Luke, Reuther, Lars

Year:

2000

Language:

english

File:

PDF, 198 KB

english, 2000

27

[IEEE 2015 11th European Dependable Computing Conference (EDCC) - Paris, France (2015.9.7-2015.9.11)] 2015 11th European Dependable Computing Conference (EDCC) - Microkernel Mechanisms for Improving the Trustworthiness of Commodity Hardware

Shen, Yanyan, Elphinstone, Kevin

Year:

2015

Language:

english

File:

PDF, 733 KB

english, 2015

28

[ACM Press the 1st workshop - Glasgow, Scotland (2008.04.01-2008.04.01)] Proceedings of the 1st workshop on Isolation and integration in embedded systems - IIES '08 - Kernel design for isolation and assurance of physical memory

Elkaduwe, Dhammika, Derrin, Philip, Elphinstone, Kevin

Year:

2008

Language:

english

File:

PDF, 208 KB

english, 2008

29

[IEEE 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Beijing, China (2009.08.24-2009.08.26)] 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications - Towards Real Multi-criticality Scheduling

Petters, Stefan M., Lawitzky, Martin, Heffernan, Ryan, Elphinstone, Kevin

Year:

2009

Language:

english

File:

PDF, 231 KB

english, 2009

30

[ACM Press the 9th workshop - Kolding, Denmark (2000.09.17-2000.09.20)] Proceedings of the 9th workshop on ACM SIGOPS European workshop beyond the PC: new challenges for the operating system - EW 9 - Preliminary thoughts on memory-bus scheduling

Liedtke, Jochen, Völp, Marcus, Elphinstone, Kevin

Year:

2000

Language:

english

File:

PDF, 69 KB

english, 2000

31

Population structure, timing of divergence and contact between lineages in the endangered Hastings River mouse (Pseudomys oralis)

Rowe, Karen M. C., Rowe, Kevin C., Elphinstone, Martin S., Baverstock, Peter R.

Journal:

Australian Journal of Zoology

Year:

2011

Language:

english

File:

PDF, 1.37 MB

english, 2011

32

Experience report

Klein, Gerwin, Derrin, Philip, Elphinstone, Kevin

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 422 KB

english, 2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски